Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics
نویسندگان
چکیده
of the Dissertation Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics
منابع مشابه
Process Representation Using Transaction Logic
Representing and answering the queries about the dynamic behavior of processes in knowledge base systems has become a challenging research area in the field of logic programming and knowledge representation systems. In this report, we are going to show how transaction logic can be used to efficiently represent dynamic behavior embedded in different domains. The ability of properly representing ...
متن کاملA Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
ÐDuring the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex a...
متن کاملKnowledge Transactions in Mobile Environments
Knowledge transaction processing is a very new research area in mobile environments. The main goal of this chapter is to explore and study knowledge representation, reasoning, and transactions in mobile environments. As the outcome of the discussion, this chapter presents and formalizes a knowledge transaction language and model for use in mobile computing environments. In addition, this resear...
متن کاملExternal Transaction Logic : reasoning and executing transactions involving external domains 1
In this work we present External Transaction Logic, a logic that extends Transaction logic with the ability to model and execute transactions requiring interactions with external entities, as e.g. external web-source, web-services or agents. Transactions are defined in a logic programming style by the composition of internal and external primitives. These primitives are incorporated in a quite ...
متن کاملA rule based knowledge transaction model for mobile environments
In this paper, we propose a rule based knowledge transaction model for mobile environments. Our model integrates the features of both mobile environment and intelligent agents. We use logic programming as a mathematic tool and formal specification method to study knowledge transaction in mobile environments. Our knowledge transaction model has two major advantages: (1) it has a declarative sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011